prove analytically that the line segment joining the middle point